例句與造句

1. We verify the correctness of software in this co - verification platform , then use this correct software to verify the correctness of chip in the hardware verification platform
   Rtos通過修改硬件抽象層，把文件輸出重定向到新的顯示終端，就實現(xiàn)了異構(gòu)平臺上的仿真。
2. A widely distributed software package that supports the formal verification of distributed systems - is an example of temporal logic model checking for hardware verification
   一種支持分布式系統(tǒng)的正式驗證且廣泛發(fā)布的軟件包是用于硬件驗證的時態(tài)邏輯模型檢查的示例。
3. Md32 verification is implemented in both fpga hardware verification platform and software verification platform , which achieve unit , architecture and system verifications . md32 processor can be sufficiently verified on these platforms
   通過軟平臺中的單元驗證、結(jié)構(gòu)驗證、系統(tǒng)驗證等步驟，以及基于fpga的硬平臺驗證，保證了md32處理器的正確性和完備性。
4. The main process includes following : system design , module design , function simulation , time simulation and hardware verification . the whole system is divided into several modules and each module is connected by signals , which based on the arithmetic of uart and the requirement of design . the module design is to design inner circuit structure of each module and uses verilog language to code the code
   系統(tǒng)設(shè)計是基于uart的實現(xiàn)算法和設(shè)計指標(biāo)要求，對系統(tǒng)劃分模塊以及各個模塊的信號連接;模塊設(shè)計是設(shè)計出每個模塊的功能，并用verilog一hdl語言編寫代碼來實現(xiàn)模塊功能;功能仿真和時序仿真使用的工具是以dence的nc _ veri109 ，首先對系統(tǒng)的每個模塊進行功能和時序仿真，仿真通過之后，將整個系統(tǒng)的代碼在外部的輸入端口加上激勵，對整個系統(tǒng)進行功能和時序仿真;硬件驗證是用fpga對系統(tǒng)進行了功能驗證。
5. It's difficult to find hardware verification in a sentence. 用hardware verification造句挺難的